Sfoglia per Rivista ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
LTL over description logic axioms
2012 F. Baader, S. Ghilardi, C. Lutz
On the complexity of the disjunction property in intuitionistic and modal logics
2005 M. Ferrari, C. Fiorentini, G. Fiorino
Quantifier-Free Interpolation in Combinations of Equality Interpolating Theories
2014 R. Bruttomesso, S. Ghilardi, S. Ranise
Simplification rules for intuitionistic propositional tableaux
2012 M. Ferrari, C. Fiorentini, G. Fiorino
Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
---|---|---|---|---|---|
LTL over description logic axioms | 2012 | S. Ghilardi + | Article (author) | - | |
On the complexity of the disjunction property in intuitionistic and modal logics | 2005 | C. Fiorentini + | Article (author) | - | |
Quantifier-Free Interpolation in Combinations of Equality Interpolating Theories | 2014 | S. Ghilardi + | Article (author) | - | |
Simplification rules for intuitionistic propositional tableaux | 2012 | C. Fiorentini + | Article (author) | - |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile